Skip to main content

load_standard_predicates

oxilean_std::logic_programming::functions

Function load_standard_predicates 

Source 
pub fn load_standard_predicates(db: &mut LpDatabase)
Expand description

Populate a database with classic Prolog predicates: member/2, append/3, reverse/3, length/2, last/2.