Mercurial > repos > mikel-egana-aranguren > oppl
view FaCT++-linux-v1.5.2/Models.lisp/query.default @ 22:8d4bbaa99b4a draft
Minor changes for JBS paper
author | Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu> |
---|---|
date | Sun, 14 Oct 2012 17:21:51 +0200 |
parents | cc270db37d33 |
children |
line wrap: on
line source
[Query] ;-- ;-- targets for single satisfiability (is Target sat) or subsumption (if Target [= Target2 holds) test ;-- ; Target = *TOP* ; Target2 = *BOTTOM* ;*** ;*** please do not change lines below ;*** ;-- ;-- target KB ;--