Search Results for 'typelist a b list list predicatesignatures app'

typelist a b list list predicatesignatures app published presentations and documents on DocSlides.

:-typelist---[];a;b;[list|list].%predicatesignatures::-app(list,list,

by yoshiko-marsland

Finally,fortheSCCdeningq/1oneobtains::-typeelem-...