%:- module(logicmoo_lps,[test_logicmoo_lps/0]). % [Required] Load the Logicmoo Library Utils :- include(sanity_tests). :- ensure_loaded(library(logicmoo_lps)). test(test_logicmoo_lps_sanity):- test_logicmoo_lps_sanity. test(test_logicmoo_lps):- test_logicmoo_lps.