YAS representation prolog(text)

Language

Prolog

---

Dependencies

• languages/Prolog: membership
  • Representation prolog(text)
  • Goal succeed
  • Files: None

---

Files

• languages/BCL/bclOk.pro
• languages/BFPL/Prolog/big-step/evaluate.pro
• languages/BFPL/Prolog/big-step/op.pro
• languages/BFPL/Prolog/big-step/value.pro
• languages/BFPL/Prolog/denotational/combinators.pro
• languages/BFPL/Prolog/denotational/expr.pro
• languages/BFPL/Prolog/denotational/op.pro
• languages/BFPL/Prolog/denotational/prog.pro
• languages/BFPL/Prolog/small-step/closure.pro
• languages/BFPL/Prolog/small-step/normal.pro
• languages/BFPL/Prolog/small-step/op.pro
• languages/BFPL/Prolog/small-step/step.pro
• languages/BFPL/Prolog/small-step/substitution.pro
• languages/BFPL/Prolog/typing/expr.pro
• languages/BFPL/Prolog/typing/op.pro
• languages/BFPL/Prolog/typing/prog.pro
• languages/BFPL/as-to-cs.pro
• languages/BFPL/bfplAbstract.pro
• languages/BGL/api.pro
• languages/BGL/astToCst.pro
• languages/BGL/bglAbstract.pro
• languages/BGL/bglAcceptBottomUp.pro
• languages/BGL/bglAcceptTopDown.pro
• languages/BGL/bglParseTopDown.pro
• languages/BGL/cstToAst.pro
• languages/BGL/egl-to-bgl.pro
• languages/BGL/unparse.pro
• languages/BIPL/Prolog/big-step/evaluate.pro
• languages/BIPL/Prolog/big-step/execute.pro
• languages/BIPL/Prolog/small-step/closure.pro
• languages/BIPL/Prolog/small-step/normal.pro
• languages/BIPL/Prolog/small-step/step.pro
• languages/BIPL/Prolog/store.pro
• languages/BIPL/biplAbstract.pro
• languages/BL/blAbstract.pro
• languages/BL/blOk.pro
• languages/BL/blOne.pro
• languages/BL/blToTbl.pro
• languages/BL/tblToGbl.pro
• languages/BNL/Prolog/as.pro
• languages/BNL/Prolog/bnlEvaluator.pro
• languages/BNL/Prolog/bnlFomula.pro
• languages/BNL/Prolog/bnlTermToFormula.pro
• languages/BNL/Prolog/bnlTermToValue.pro
• languages/BNL/Prolog/bnlTermToValueS.pro
• languages/BNL/Prolog/scanner.pro
• languages/BSL/api.pro
• languages/BSL/as.pro
• languages/BSL/bglToBsl.pro
• languages/BSL/bslAbstract.pro
• languages/BSL/bslConformance.pro
• languages/BSL/esl-to-bsl.pro
• languages/BSL/prefix-term.pro
• languages/BSL/tuple-term.pro
• languages/BSTL/Prolog/bstlSig.pro
• languages/BSTL/Prolog/bstlTerm.pro
• languages/BTL/Prolog/btlBigstep.pro
• languages/BTL/Prolog/btlClosure.pro
• languages/BTL/Prolog/btlSmallstep.pro
• languages/BTL/Prolog/btlSyntax.pro
• languages/BTL/Prolog/btlTyping.pro
• languages/BTL/Prolog/btlValues.pro
• languages/BTL/scanner.pro
• languages/DDL/ddlAbstract.pro
• languages/DDL/ddlEq.pro
• languages/DGL/pp.pro
• languages/EFPL/Prolog/big-step/evaluate.pro
• languages/EFPL/Prolog/efplAlpha.pro
• languages/EFPL/Prolog/efplTyping.pro
• languages/EFPL/as-to-cs.pro
• languages/EFPL/efplAbstract.pro
• languages/EGL/api.pro
• languages/EGL/eglAbstract.pro
• languages/EGL/eglParser.pro
• languages/EGL/eglScannerfull.pro
• languages/EGL/eglScannerless.pro
• languages/EGL/scanner.pro
• languages/EGTL/egtlAbstract.pro
• languages/EGTL/egtlExtension.pro
• languages/EGTL/egtlGeq.pro
• languages/EGTL/egtlInterpret.pro
• languages/EIPL/Prolog/dynamic.pro
• languages/EIPL/Prolog/mixed.pro
• languages/EIPL/Prolog/static.pro
• languages/EIPL/Prolog/typing.pro
• languages/EIPL/Prolog/undeclare.pro
• languages/EIPL/eiplAbstract.pro
• languages/EL/Prolog/elRewrite.pro
• languages/EL/Prolog/qq/elqqAbstract.pro
• languages/EL/Prolog/qq/elqqQuasiQuoter.pro
• languages/EL/Prolog/qq/rules/elqqAssociate.pro
• languages/EL/Prolog/qq/rules/elqqCommute.pro
• languages/EL/Prolog/qq/rules/elqqSimplify.pro
• languages/EL/Prolog/rules/elAssociate.pro
• languages/EL/Prolog/rules/elCommute.pro
• languages/EL/Prolog/rules/elSimplify.pro
• languages/EL/elAbstract.pro
• languages/EL/elEvaluate.pro
• languages/EL/elOps.pro
• languages/ESL/api.pro
• languages/ESL/applied-term.pro
• languages/ESL/as.pro
• languages/ESL/conformance.pro
• languages/ESL/eslAbstract.pro
• languages/FSML/Prolog/accept.pro
• languages/FSML/Prolog/fsmlConstraints.pro
• languages/FSML/Prolog/fsmlRename.pro
• languages/FSML/Prolog/simulation.pro
• languages/FSML/Prolog/to-dgl.pro
• languages/FSML/Prolog/to-java/action.pro
• languages/FSML/Prolog/to-java/as-to-cs.pro
• languages/FSML/Prolog/to-java/input.pro
• languages/FSML/Prolog/to-java/state.pro
• languages/FSML/Prolog/to-java/stepper.pro
• languages/FSML/fsmlAbstract.pro
• languages/Hinzu/hinzuDump.pro
• languages/Hinzu/hinzuInference.pro
• languages/Hinzu/hinzuReasoning.pro
• languages/Hinzu/hinzuToMd.pro
• languages/LAL/lalAbstract.pro
• languages/LAL/lalDeps.pro
• languages/LAL/lalNorm.pro
• languages/LAL/lalOk.pro
• languages/LAL/lalPp.pro
• languages/LAL/lalReuse.pro
• languages/LAL/lalTermEq.pro
• languages/LAL/lalTextEq.pro
• languages/LAL/lalUeber.pro
• languages/MMDL/mmdlApply.pro
• languages/MMDL/mmdlDiff.pro
• languages/MMDL/mmdlInv.pro
• languages/MMDL/mmdlToDdl.pro
• languages/MML/api.pro
• languages/MML/as.pro
• languages/MML/atom-to-ref/coupling.pro
• languages/MML/atom-to-ref/mmt.pro
• languages/MML/atom-to-ref/mt.pro
• languages/MML/conformance/cardinality.pro
• languages/MML/conformance/main.pro
• languages/MML/conformance/member.pro
• languages/MML/conformance/mml2pro.pro
• languages/MML/crud.pro
• languages/MML/editing/add-object.pro
• languages/MML/editing/lists.pro
• languages/MML/editing/new-object.pro
• languages/MML/editing/obj-add-key.pro
• languages/MML/editing/obj-remove-key.pro
• languages/MML/editing/remove-object.pro
• languages/MML/graph-chase.pro
• languages/MML/mmlAbstract.pro
• languages/MML/mmlCount.pro
• languages/MML/mmlDdl.pro
• languages/MML/mmlEq.pro
• languages/MML/mmlToDdl.pro
• languages/MML/mmlTree.pro
• languages/MML/ok.pro
• languages/MML/recardinalize.pro
• languages/MML/relax-cardinality.pro
• languages/MML/subclass.pro
• languages/MML/term-chase.pro
• languages/MML/term-to-graph.pro
• languages/MMTL/mmTransform.pro
• languages/MMTL/mmValueToReference.pro
• languages/PPL/pplRender.pro
• languages/Prolog/eval.pro
• languages/Prolog/expr.pro
• languages/TDL/tdlApply.pro
• languages/TDL/tdlDiff.pro
• languages/TDL/tdlInv.pro
• languages/Term/dict/abssyn.pro
• languages/Term/dict/dictConversion.pro
• languages/Term/dict/dictCrud.pro
• languages/Term/graph/abssyn.pro
• languages/Term/graph/as-to-cs.pro
• languages/Term/graph/conversion.pro
• languages/Term/graph/crud.pro
• languages/Term/graph/graphDeref.pro
• languages/Term/graph/iterate.pro
• languages/Term/graph/normal.pro
• languages/Term/graph/search.pro
• languages/Text/textEq.pro
• languages/Text/textLoc.pro
• languages/Ueber/macros/bgl-and-bsl.pro
• languages/Ueber/macros/egl.pro
• languages/Ueber/macros/esl.pro
• languages/Ueber/macros/forall.pro
• languages/Ueber/macros/fxy.pro
• languages/Ueber/macros/graph.pro
• languages/Ueber/macros/include.pro
• languages/Ueber/macros/lal.pro
• languages/Ueber/macros/mml.pro
• languages/Ueber/macros/parse.pro
• languages/Ueber/macros/pickyParse.pro
• languages/Ueber/macros/ppl.pro
• languages/Ueber/macros/rules.pro
• languages/Ueber/macros/test.pro
• languages/Ueber/ueberApply.pro
• languages/Ueber/ueberDispatch.pro
• languages/Ueber/ueberDump.pro
• languages/Ueber/ueberEq.pro
• languages/Ueber/ueberFFI.pro
• languages/Ueber/ueberGraphFunctions.pro
• languages/Ueber/ueberGraphLanguages.pro
• languages/Ueber/ueberIO.pro
• languages/Ueber/ueberMain.pro
• languages/Ueber/ueberNorm.pro
• languages/Ueber/ueberOk.pro
• languages/Ueber/ueberReport.pro
• languages/Ueber/ueberSub.pro
• languages/Ueber/ueberVerify.pro
• samples/obsolete/expr/scanner.pro
• samples/obsolete/figure/figureAbstract.pro
• samples/obsolete/figure/parsing/scanner.pro
• samples/obsolete/figure/pp.pro

---