GitHub - tannera/KBS_ASP: Answer set programming, attempted assignment answers, for knowledge-based systems course.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
ball_storage		ball_storage
cargo_loading		cargo_loading
ReadMe.txt		ReadMe.txt

Repository files navigation

KBS answer set programming assignments. 

Requires the latest version of DLV: http://www.dlvsystem.com/dlv/

Online manual for the DLV: http://www.dlvsystem.com/html/DLV_User_Manual.html

To execute: adjust then run the equivalent of the following (depending on the file names):

./dlv.bin cargo_guess.dl cargo_test1.dl
./dlv.bin -silent cargo_check_balance.dl cargo_check_gravity.dl cargo_guess.dl cargo_test1.dl -n=1