Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

An ILP system: CProgol

  • Output:
      [Result of search is]
      knight(pos(A,B),pos(C,D)) :- rdiff(B,D,E), fdiff(A,C,-2),
      invent(q4, E).
      [17 redundant clauses retracted]
      knight(pos(A,B),pos(C,D)) :- rdiff(B,D,E), fdiff(A,C,2),
      invent(q4,E).
      knight(pos(A,B),pos(C,D)) :- rdiff(B,D,E), fdiff(A,C,1),
      invent(q2,E).
      knight(pos(A,B),pos(C,D)) :- rdiff(B,D,E), fdiff(A,C,-1),
      invent(q2, E).
      knight(pos(A,B),pos(C,D)) :- rdiff(B,D,E), fdiff(A,C,-2),
      invent(q4,E).
      [Total number of clauses = 4]
      [Time taken 0.50s]
      Mem out = 822

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.