% nal.pl % Non-Axiomatic Logic in Prolog % Version: 1.1, September 2012 % GNU Lesser General Public License % Author: Pei Wang/Pat Hammer/Douglas Miles :- module(nal, []). :- set_module(class(library)). :- set_module(base(system)). :- use_module(library(nars/nal_reader)). :- ensure_loaded(nars).