![]() |
![]() |
Matching |
[ Overview ] [ Download ] [ Sample Dataset ] [ Contact ]
Obtaining the Matching procedure
The Matching procedure is free to use for academic purposes (for
commercial use of the system, please see Contact
Information). The Matching procedure has been implemented in C
language.
Usage:
matching(ClauseFile,ExampleFile,Stats,MS)
ClauseFile
is the file containing clauses ExampleFile
is the file containing examples Stats
is the name of a file where the procedure will
reports statistics MS
is 1, then the procedure returns all the
multisubstitutions ClauseFile
and all the examples in the file ExampleFile
,
also returning all substitutions by which subsumption holds in case of
positive outcome.
For other versions, see Contact Information.
matching(clauses,examples,statistics,1)
. [ Top of this page ]
Dipartimento di Informatica
Università degli studi di Bari
Via Orabona,4
70126 Bari
ITALIA
[ Top of this page ]