Skip to content

alexgain/AIAImplementation

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Instructions:
int_ex6.sparc is the main part of the program used for the implementation. 
To run the program, enter the following commands on the command prompt:

./sparc int_ex6.sparc -o new

where "." refers to the directory of the files.

If asked to overwrite output file, enter y.

Next:

./dlv.bin -nofinitecheck -pfilter="occurs" new

Again, "." refers to the directory of the files.

If this is done correctly, the command prompt should output a subset of the answer set containing only actions.

About

Implementation of AIA architecture with triggers

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published