Beta-Prolog: An Extended Prolog with Boolean Tables for Combinatorial Searching.

Neng-Fa Zhou

Browse the full ICTAI paper archive.