@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/INSP0008829>
  skos:prefLabel "منطق"@fa, "logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/INSP0003485> .

<http://www.irandoc.acir/onto/irandoc/INSP0014069>
  skos:prefLabel "منطق صوری"@fa, "formal logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0003485> .

<http://www.irandoc.acir/onto/irandoc/INSP0014067>
  skos:prefLabel "منطق زمانی"@fa, "temporal logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0003485> .

<http://www.irandoc.acir/onto/irandoc/INSP0013445>
  skos:prefLabel "ارزیابی جزئی (مترجم)"@fa, "partial evaluation (compiler)"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0003485> .

<http://www.irandoc.acir/onto/irandoc/INSP0012929>
  skos:prefLabel "نمایش دانش"@fa, "knowledge representation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0003485> .

<http://www.irandoc.acir/onto/irandoc/INSP0003485>
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0014069>, <http://www.irandoc.acir/onto/irandoc/INSP0014067>, <http://www.irandoc.acir/onto/irandoc/INSP0013864>, <http://www.irandoc.acir/onto/irandoc/INSP0014071>, <http://www.irandoc.acir/onto/irandoc/INSP0009048>, <http://www.irandoc.acir/onto/irandoc/INSP0009047>, <http://www.irandoc.acir/onto/irandoc/INSP0013980>, <http://www.irandoc.acir/onto/irandoc/INSP0012929>, <http://www.irandoc.acir/onto/irandoc/INSP0014054>, <http://www.irandoc.acir/onto/irandoc/INSP0012943>, <http://www.irandoc.acir/onto/irandoc/INSP0013445> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0008829>, <http://www.irandoc.acir/onto/irandoc/INSP0003501> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/INSP0003483>, <http://www.irandoc.acir/onto/irandoc/INSP0003484> ;
  skos:prefLabel "logic programming"@en, "برنامه‌نویسی منطقی"@fa ;
  skos:altLabel "rule based programming"@en ;
  skos:scopeNote "rule based programming"@en .

<http://www.irandoc.acir/onto/irandoc/INSP0013864>
  skos:prefLabel "دادگان قیاسی"@fa, "deductive database"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0003485> .

<http://www.irandoc.acir/onto/irandoc/INSP0014071>
  skos:prefLabel "نظریه برنامه‌نویسی"@fa, "programming theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0003485> .

<http://www.irandoc.acir/onto/irandoc/INSP0014054>
  skos:prefLabel "Horn clauses"@en, "شرط هورن"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0003485> .

<http://www.irandoc.acir/onto/irandoc/INSP0009048>
  skos:prefLabel "زبان برنامه‌نویسی منطقی"@fa, "logic programming language"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0003485> .

<http://www.irandoc.acir/onto/irandoc/INSP0013980>
  skos:prefLabel "سامانه نسل پنجم"@fa, "fifth generation system"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0003485> .

<http://www.irandoc.acir/onto/irandoc/INSP0003483>
  skos:prefLabel "ساماندهی محدودیت"@fa, "constraint handling"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0003485> .

<http://www.irandoc.acir/onto/irandoc/INSP0003501>
  skos:prefLabel "برنامه‌نویسی"@fa, "programming"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/INSP0003485> .

<http://www.irandoc.acir/onto/irandoc/INSP0003484>
  skos:prefLabel "برنامه‌نویسی منطقی القایی"@fa, "inductive logic programming"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0003485> .

<http://www.irandoc.acir/onto/irandoc/INSP0012943>
  skos:prefLabel "هوش مصنوعی"@fa, "artificial intelligence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0003485> .

<http://www.irandoc.acir/onto/irandoc/INSP0009047>
  skos:prefLabel "PROLOG"@en, "پرولوگ"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0003485> .