Skip to main content

conjunction

oxilean_codegen::prolog_backend::functions

Function conjunction 

Source 
pub fn conjunction(a: PrologTerm, b: PrologTerm) -> PrologTerm
Expand description

Build (A, B) — conjunction term.