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

<http://www.irandoc.acir/onto/irandoc/insp0003501>
  skos:prefLabel "Programming"@en, "برنامه‌نویسی"@fa ;
  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 "Inductive logic programming"@en, "برنامه‌نویسی منطقی القایی"@fa ;
  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 "Artificial intelligence"@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/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> .

<http://www.irandoc.acir/onto/irandoc/insp0008829>
  skos:prefLabel "Logic"@en, "منطق"@fa ;
  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 "Formal logic"@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/insp0014067>
  skos:prefLabel "Temporal logic"@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/insp0013445>
  skos:prefLabel "Partial evaluation (compiler)"@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/insp0012929>
  skos:prefLabel "Knowledge representation"@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/insp0003485>
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014069>, <http://www.irandoc.acir/onto/irandoc/insp0013445>, <http://www.irandoc.acir/onto/irandoc/insp0014067>, <http://www.irandoc.acir/onto/irandoc/insp0013980>, <http://www.irandoc.acir/onto/irandoc/insp0013864>, <http://www.irandoc.acir/onto/irandoc/insp0009048>, <http://www.irandoc.acir/onto/irandoc/insp0009047>, <http://www.irandoc.acir/onto/irandoc/insp0014054>, <http://www.irandoc.acir/onto/irandoc/insp0012943>, <http://www.irandoc.acir/onto/irandoc/insp0012929>, <http://www.irandoc.acir/onto/irandoc/insp0014071> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0003501>, <http://www.irandoc.acir/onto/irandoc/insp0008829> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/insp0003484>, <http://www.irandoc.acir/onto/irandoc/insp0003483> ;
  skos:altLabel "rule based programming"@en ;
  skos:prefLabel "Logic programming"@en, "برنامه‌نویسی منطقی"@fa .

<http://www.irandoc.acir/onto/irandoc/insp0013864>
  skos:prefLabel "Deductive database"@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/insp0014071>
  skos:prefLabel "Programming theory"@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/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 "Logic programming language"@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/insp0013980>
  skos:prefLabel "Fifth generation system"@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/insp0003483>
  skos:prefLabel "Constraint handling"@en, "ساماندهی محدودیت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0003485> .