Permalink
Browse files

readme markdown

  • Loading branch information...
1 parent 971fedd commit 2e6fd3d904afba73b20b8ef4207c8afea36def50 @acharal committed with Oct 4, 2012
Showing with 6 additions and 6 deletions.
  1. +6 −6 README.md
View
@@ -33,14 +33,14 @@ yadlr.pl provides the following predicates:
yadlr_assert( +KB, +Formula, +Degree )
- check_membership/5 ( +KB, +InstanceName, +ConceptName, +Degree, -Restrictions )
- check_types/5 ( +KB, +InstanceName, +Degree, ?ConceptNames, -Restrictions )
- check_members/5 ( +KB, +ConceptName, +Degree, ?InstanceNames, -Restrictions )
+ check_membership( +KB, +InstanceName, +ConceptName, +Degree, -Restrictions )
+ check_types( +KB, +InstanceName, +Degree, ?ConceptNames, -Restrictions )
+ check_members( +KB, +ConceptName, +Degree, ?InstanceNames, -Restrictions )
- set_proof_tree_log/1 ( +Filename|no )
- unset_proof_tree_log/0
+ set_proof_tree_log( +Filename|no )
+ unset_proof_tree_log
- set_depth_limit/1 ( +YESNO )
+ set_depth_limit( +YESNO )
```
prodlr.pl provides the following predicates:

0 comments on commit 2e6fd3d

Please sign in to comment.