Skip to content

add SWI Prolog backend support #2

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

Jump to bottom
Merged
merged 28 commits into from
Dec 11, 2018
Merged

add SWI Prolog backend support #2

merged 28 commits into from
Dec 11, 2018

Conversation

@tmitsi
Copy link
Collaborator

@tmitsi tmitsi commented Dec 11, 2018

No description provided.

aoristos and others added 28 commits January 14, 2018 15:33
Test Commit
0bbd0bc
@tmitsi
Merge remote-tracking branch 'upstream/master'
3615466
@tmitsi
Initial SWI Prolog Support
23a0cd3
@tmitsi
Update printUsage
429e09d
@tmitsi
Preliminary support for SWI engine
213cd9a
@tmitsi
Merged upstream changes and resolved conflicts
8733b12
@tmitsi
Find Linux and Windows SWI executable
e8ba818
@tmitsi
Sync with upstream
e10784d
@tmitsi
Add SWI flag for ISO prolog compatibility :- set_prolog_flag(iso,true).
9c4bbc0
@tmitsi
Include message for SWI Prolog default path to command line help message
8bf7678
@tmitsi
New test folder for SWI Prolog containing succeeding and failing cases
04d4e76
@tmitsi
Find SWI executable on MacOS
3980036
@tmitsi
Fix test suite not exiting after tests, specific SWI version numbering
839a7b0
@tmitsi
remove set_prolog_flag(unknown,fail) for SWI Prolog
c902f7a
@tmitsi
implement -b (backend) command line option for target language prolog
22ad514
@tmitsi
suppress discontiguous warnings for SWI Prolog
5239f64 
fixes psoa_facts_with_slots_and_tuples-query2
@tmitsi
update working tests for SWI Prolog
90690ce
@tmitsi
fix numbering in SWI discontiguous declaration
2ce6d44
@tmitsi
merge upstream changes
30824d0
@tmitsi
delete duplicate code from last commit
83834c5
@tmitsi
modify getSystemName method for SWI Prolog
25aa192
@tmitsi
add error message for unsupported backend
2a5b800
@tmitsi
update pom files for 1.4 with SWI Prolog support
79c29df
@tmitsi
add /usr/local/bin/swipl as a search location for SWI binary on Linux
ec5bc8b
@tmitsi
update --help and --longhelp command line options
638a51f
@tmitsi
clean SWIEngine.java and remove ^M characters
715bdfe
@tmitsi
replace return statement with System.exit(0) after testsuite completion
e8e9203
@tmitsi
move testsynsem-SWI-Prolog_tests to SWI-Prolog-tests
f469d06
@tmitsi tmitsi changed the title add SWI Prolog support add SWI Prolog backend support Dec 11, 2018
@tmitsi tmitsi merged commit 4c16b42 into RuleML:master Dec 11, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@tmitsi