Skip to content

Fix 1 #5

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 3 commits into
base: improve
Choose a base branch
from
Open

Fix 1 #5

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
d609ec5
Fixed almost all bugs and added a new command in README
AntociAlin Apr 30, 2022
ae59162
Fixed almost all bugs and updated README
AntociAlin May 1, 2022
7a55d09
Fix for the # in files
AntociAlin Jun 13, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@ Pass it a sandbox profile file in SBPL format.
A sample run is shown below:

```
$ ./convertToProlog.sh test-cases/containerManualPruning.sb
$ ./convertToProlog.sh test-cases/containerBetterGraphProcess.sb
* Removing old output files in outputFromQueries ...
* Generating Prolog facts in facts.pl ...
* Merging Prolog facts (facts.pl) and Prolog rules (rules.pl) in factsAndRules.pl ...
Expand Down
4 changes: 2 additions & 2 deletions convertToProlog.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ if test $# -ne 1; then
echo "Usage: $0 <sb_file>" 1>&2
echo "" 1>&2
echo "Sample usage:" 1>&2
echo " $0 test_cases/containerManualPruning.sb" 1>&2
echo " $0 test-cases/containerBetterGraphProcess.sb" 1>&2
exit 1
fi

Expand All @@ -26,7 +26,7 @@ echo "* Merging Prolog facts (facts.pl) and Prolog rules (rules.pl) in factsAndR
cat facts.pl rules.pl > factsAndRules.pl

echo "* Using script.pl to execute Prolog queries ..."
swi-prolog.swipl -s script.pl --quiet
swipl -s script.pl --quiet

echo ""
echo "See output of Prolog queries in outputFromQueries/ folder."
Loading