صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
CNI
/
Prlog
2
0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
شاخه: master
شاخه‌ها تگ‌ها
Prlog
/
td
/
td1
/
asp3.lp

asp3.lp 54 B
لینک دائمی تاريخچه خام

12345 
  1. q(1..4).
    2. 

  2. {r(U+1) : q(U)}.
    3. 

  3. :- not {r(U)}2.
    4. 

  4. 

  5. #show r/1.
    6.