Add a software to the database. Update the entry for this software.
Name (abbrev)
Name (full)
Category
Last update
FOIL
FOIL Release 6
(not yet available)
b D, Y
WWW
FTP
http://www.cse.unsw.edu.au/~quinlan/foil6.sh
Platforms
Availability
Description
FOIL is a program that reads extensional specifications of a set of relations and produces Horn clause definitions of one of more of them.
Contact person(s)
Related group(s)