Maude-help mailing list

[Mandy Martin <tesleft AT hotmail.com>]

Hi 

1.

is  Igor 2  for  helpiing to do  inductive  logic programming ?  how?

i  read  many  books  still  do not  know what  are predicate  logic,  when  read  the code  of  predicates.maude,  i  feel  confused again , because it is  different from

the  basic axioms  i  learn

how to use predicates.maude? 

is there any example about the usage of it

 

 rew setup('PROBLEM, 1, false) .

i   load igor2.3.maude

Maude> SETUP(PREDICATE) .

Warning: <standard input>, line 163: skipped unexpected token: SETUP

Warning: no loop state.

Warning: <standard input>, line 163: syntax error

2.

another  things is

it seems rewrite do the work of reduce too in haskell

how to get the result 7 when i do  addition  2+5 with  predefined  module, i see that it is in iterations

    RewriteResult {resultTerm = IterTerm {termSort = "NzNat", termOp = "s_", termChildren = [Term {termSort = "Zero", termOp = "0", termChildren = []}], iterations = 7}, rewriteStatistics = MaudeStatistics {totalRewrites = 1, realTime = 0, cpuTime = 0}}

3.  if doing  ontology with  maude,  how  can just  is  part  or  has  parts with  these  little  semantic  words  doing  inference  besides  searching  relationship  

among  things which  do not have direct  relationship?

Regards,

Martin Lee