#!/usr/bin/env swipl % % PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog % % Dec 13, 2035 % Douglas Miles % was_module(sanity_attvar_08,[]). :- include(test_header). :- debug_logicmoo(_). :- nodebug_logicmoo(http(_)). :- debug_logicmoo(logicmoo(_)). % :- mpred_trace_exec. :- begin_pfc. :- dynamic(sk_out/1). :- dynamic(sk_in/1). % :- process_this_script. :- ensure_loaded(library(attvar_reader)). :- read_attvars(true). :- set_prolog_flag(assert_attvars,true). sk_in(X)==>sk_out(X). sk_in(fl(X,Y,X,Y)). sk_in(avar([vn='ExIn',sk='SKF-666'])). sk_in(_DUNNO). :- must((findall(Ex,(clause_u(sk_out(Ex),_,_),wdmsg(sk_out(Ex))),L),length(L,THREE),THREE=3)). %:- listing([pt/2,sk_in/1,sk_out/1]). :- must((sk_out(FOUND),get_attr(FOUND,sk,What),What='SKF-666')),dmsg(fOUND=FOUND).