Search results

Bug in issue code: Transitive <code>isa</code> Inference Fails with <code>BadType</code> Error Due to Restrictive Default Signature

Status: Open.

#78 In trueagi-io/metta-examples;

· sivaji1012 opened on Sep 22, 2025

Multiple bugs in issue code of rule evaluation: Equality rules, match conjunctions, wildcards, assertEqualToResult, and equal? fail to unify or evaluate correctly

Status: Open.

#77 In trueagi-io/metta-examples;

· sivaji1012 opened on Sep 20, 2025

deontic logic examples

Status: Open.

#76 In trueagi-io/metta-examples;

· Necr0x0Der opened on Sep 1, 2025

Recursion and function evaluation

answeredTutorial question is answered but not added to docsTutorial question is answered but not added to docs

help wantedExtra attention is neededExtra attention is needed

questionFurther information is requestedFurther information is requested

tutorialTutorial questionTutorial question

Status: Open.

#75 In trueagi-io/metta-examples;

· CICS-Oleg opened on Jul 30, 2025

What is the best way to implement transitive closure/chaining using match and add-atom?

answeredTutorial question is answered but not added to docsTutorial question is answered but not added to docs

help wantedExtra attention is neededExtra attention is needed

questionFurther information is requestedFurther information is requested

tutorialTutorial questionTutorial question

Status: Open.

#73 In trueagi-io/metta-examples;

· CICS-Oleg opened on Jun 25, 2025

Complex queries in sparql-like style

Status: Open.

#72 In trueagi-io/metta-examples;

· CICS-Oleg opened on Jun 9, 2025

Union of elements from separate sets

answeredTutorial question is answered but not added to docsTutorial question is answered but not added to docs

help wantedExtra attention is neededExtra attention is needed

questionFurther information is requestedFurther information is requested

tutorialTutorial questionTutorial question

Status: Open.

#69 In trueagi-io/metta-examples;

· CICS-Oleg opened on Apr 21, 2025

Elegant way of filtering sets in sparql like style

answeredTutorial question is answered but not added to docsTutorial question is answered but not added to docs

questionFurther information is requestedFurther information is requested

tutorialTutorial questionTutorial question

Status: Open.

#66 In trueagi-io/metta-examples;

· CICS-Oleg opened on Mar 7, 2025

Representing propositions in MeTTa (existential quantifier?)

help wantedExtra attention is neededExtra attention is needed

questionFurther information is requestedFurther information is requested

Status: Open.

#64 In trueagi-io/metta-examples;

· JungeWerther opened on Feb 11, 2025

What is the most mettaful way to work with "global" variables?

help wantedExtra attention is neededExtra attention is needed

questionFurther information is requestedFurther information is requested

tutorialTutorial questionTutorial question

Status: Open.

#63 In trueagi-io/metta-examples;

· CICS-Oleg opened on Feb 4, 2025

How to set any other skills to optional

help wantedExtra attention is neededExtra attention is needed

questionFurther information is requestedFurther information is requested

tutorialTutorial questionTutorial question

Status: Open.

#62 In trueagi-io/metta-examples;

· CICS-Oleg opened on Jan 29, 2025

Function to check quorum for arbitrary number of participants

answeredTutorial question is answered but not added to docsTutorial question is answered but not added to docs

help wantedExtra attention is neededExtra attention is needed

questionFurther information is requestedFurther information is requested

tutorialTutorial questionTutorial question

Status: Open.

#61 In trueagi-io/metta-examples;

· CICS-Oleg opened on Jan 27, 2025