CSE 579 Week 5 Graded Assignment.

CSE 579 Week 5 Graded Assignment

, CSE 579
Week 5 Graded Assignment
Template for clingo Work

Problem 1

Input Hint: you only need one program with a new term, whose value will be
Program assigned to 3 or 4 in the command line.
:- not {on(BB,table,T)} tab_size, T=0..m-1.

Command You should write multiple command lines below.
Line clingo blocks.lp blocks_scenario.lp -c m=7 -c grippers=1 -c
tab_size=3 0

clingo blocks.lp blocks_scenario.lp -c m=5 -c grippers=1 -c
tab_size=4 0

Output You should write multiple outputs, one for each command. These outputs
of clingo serve as the evidences of your answer to the question below.
Table_size = 3.
clingo version 5.3.0
Reading from blocks.lp ...
Solving...
Answer: 1
move(1,3,0) move(2,5,1) move(1,table,2) move(2,1,3)
move(3,2,4) move(5,4,5) move(6,5,6)
Answer: 2
move(1,5,0) move(2,3,1) move(1,table,2) move(2,1,3)
move(3,2,4) move(5,4,5) move(6,5,6)
Answer: 3
move(3,1,0) move(5,4,1) move(6,5,2) move(3,6,3)
move(1,table,4) move(2,1,5) move(3,2,6)
SATISFIABLE

Models :3
Calls :1
Time : 0.013s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 0.013s

tab_size=4
clingo version 5.3.0
Reading from blocks.lp ...
Solving...
Answer: 1
move(1,table,0) move(2,1,1) move(3,2,2) move(5,4,3)
move(6,5,4)
SATISFIABLE


1
This study source was downloaded by 100000826342158 from CourseHero.com on 12-31-2021 09:22:56 GMT -06:00


https://www.coursehero.com/file/56333771/CSE579-GradedAssignment-Week-5-template-1docx/