Don't like ads? PRO users don't see any ads ;-)
Public Pastes
Guest

Untitled

By: a guest on Apr 28th, 2012  |  syntax: None  |  size: 0.28 KB  |  hits: 17  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. error while compling the metaprogram in prolog
  2. :- dynamic go/1.
  3. sol(true):- !.
  4. sol((A,B)):- !, sol(A), sol(B).
  5. sol(A):- clause(A, Body), sol(Body).
  6. go(X):- X is 5.
  7.        
  8. sol(X is Y) :- !, X is Y.
  9.        
  10. sol(Bip) :- predicate_property(Bip, built_in), !, Bip.
  11.        
  12. :- use_module(library(swi)).
create a new version of this paste RAW Paste Data