Initial commit
Added assertion components
Making this work with SWI as a package
Minor bug fix in add_arg/3
Updated example
The composition of expander is now performed more smoothly.
Removed use_package(nativeprops), which is empty.
Renamed assertions.pl to swiassertions.pl, a temporary kludge to avoid clashes with the assertions.pl Ciao package
Deleted now unused files
Fixed format for nested global properties
Fixed order of compound expansions
Merge branch 'master'; commit 'aa6eb1343183ac67fcbd5ebed6d9222adfdd493d'
Faster but the order is again incorrect, sorry
Better organization, moved wrappers to its own directory.
Cleaning
Minor change to allow other expansions can work
Updated readme
Fixed problems introduced in last update of swi prolog
- Improved run-time checking about exception related properties
- Implemented throws/2 property.
+ Added clauses for term/1 property in instance/1.
* Fixed bug in compat(var(A)) clause.
Preserving original call in rtchecks to improve messages