Foundations of the rule-based system ρlog

Journal of Applied Non-Classical Logics

Volumn 16, Issue 1-2, 2006, Pages 151-168

  Marin, Mircea ^a   Kutsia, Temur ^b  

^a UNIVERSITY OF TSUKUBA   (Japan)

^b JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Declarative programming; Matching; Rule based programming

Indexed keywords

EID: 38049141924     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.16.151-168     Document Type: Article

References (23)

1. [Apt 94] Apt K. R., Bol R. N., "Logic Programming And Negation: A Survey", Journal Of Logic Programming, Vol. 19/20, 1994, P. 9-71.
2. [Ber 89] Bergstra J., Heering J., Klint P., "The Algebraic Specification Formalism Asf", Bergstra J., Heering J., Klint P., Eds., Algebraic Specification, Acm Press In Cooperation With Addison Wesley Frontier Series, 1989, P. 1-66.
3. [Ber 04] Bertolissi C., Baldan P., Cirstea H., Kirchner C., "A Rewriting Calculus For Cyclic Higher-Order Term Graphs", Wokshop On Term Graph Rewriting, 2004.
4. [Boc 90] Bockmayr A., "Beiträ;Ge Zur Theorie Des Logisch-Funktionalen Programmierens", Phd Thesis, Universitä;T Karlsruhe, 1990, In German.
5. [Bor 02] Borovanský P., Kirchner C., Kirchner H., Moreau P.-E., "Elan From A Rewriting Logic Point Of View", Tcs, Vol. 285, Num. 2, 2002, P. 155-185. (Pubitemid 34862892)
6. [Cir 03] Cirstea H., Liquori L., Wack B., "Rewriting Calculus With Fixpoints: Untyped And First-Order Systems", Post-Proceedings Of Types'03, 2003.
7. [Cir 04] Cirstea H., Faure G., Kirchner C., "A Rho-Calculus Of Explicit Constraint Application", Proceedings Of The 5Th Workshop On Rewriting Logic And Applications, 2004.
8. [Cla 02] Clavel M., Durán F., Eker S., Lincoln P., Martí-Oliet N., Meseguer J., Quesada J., "Maude: Specification And Programming In Rewriting Logic", Tcs, Vol. 285, Num. 2, 2002, P. 186-243.
9. [Dia 02] Diaconescu R., Futatsugi K., "Logical Foundations Of Cafeobj", Tcs, Vol. 285, Num. 2, 2002, P. 289-318. (Pubitemid 34862895)
10. [Fai 99] Fairbanks D. J., Anderson W. R., Genetics: The Continuity Of Life, Brooks/Cole Publishing Company • Wadsworth Publishing Company, 1999.
11. [Gal 85] Gallier J., Logic For Computer Science: Foundations Of Automatic Theorem Proving, Harper & Row Publishers, Inc., New York, Ny, Usa, 1985.
12. [Kut 05A] Kutsia T., Marin M., "Can Context Sequence Matching Be Used In Xml Querying?", Vigneron L., Ed., Proceedings Of Unif'05, Nara, Japan, 2005, P. 77-95.
13. [Kut 05B] Kutsia T., Marin M., "Matching With Regular Constraints", Sutcliffe G., Voronkov A., Eds., Proceedings Of Lpar'05, Vol. 3835 Of Lnai, Springer, 2005, P. 215-229. (Pubitemid 43955316)
14. [Mar 03] Marin M., Kutsia T., "On The Implementation Of A Rule-Based Programming System And Some Of Its Applications", Konev B., Schmidt R., Eds., Proceedings Of The 4Th International Workshop On The Implementation Of Logics, Almaty, Kazakhstan, 2003, P. 55-69.
15. [Mar 04A] Marin M., Kutsia T., "A Rule-Based Approach To The Implementation Of Evaluation Strategies", Petcu D., Negru V., Zaharie D., Jebelean T., Eds., Proceedings Of Synasc 2004, Timi̧Soara, Romania, 2004, Mirton, P. 227-241.
16. [Mar 04B] Marin M., Middeldorp A., "New Completeness Results For Lazy Conditional Narrowing", Proceedings Of The Sixth Acm-Sigplan Conference On Principles And Practice Of Declarative Programming, Verona, Italy, 2004, Acm Press, P. 120-131. (Pubitemid 40062851)
17. [Mar 04C] Marin M., Piroi F., "Deduction And Presentation In-Log", Kamareddine F., Ed., Mathematical Knowledge Management Symposium, Vol. 93 Of Entcs, Edinburgh, Scotland, 2004, Elsevier, P. 161-182.
18. [Mar 04D] Marin M., Piroi F., "Rule-Based Programming With Mathematica", Electronic Proceedings Of Ims 2004, Banff, Alberta, Canada, 2004.
19. [Mar 06] Marin M., Ida T., "Progress Of-Log, A Rule-Based Programming System", Mathematica In Education And Research, Vol. 11, Num. 1, 2006, P. 50-66, Ijournals.
20. [Mes 92] Meseguer J., "Conditional Rewriting Logic As A Unified Model Of Concurrency", Tcs, Vol. 1, Num. 96, 1992, P. 73-155.
21. [Ohl 01] Ohlebusch E., "Termination Of Logic Programs: Transformational Methods Revisited", Aaecc, Vol. 12, 2001, P. 73-116. (Pubitemid 32610955)
22. [Vis 98] Visser E., Benaissa Z.-E.-A., "A Core Language For Rewriting", Kirchner C., Kirchner H., Eds., Wrla'98, Vol. 15 Of Entcs, 1998.
23. [Vis 04] Visser E., "Program Transformation With Stratego/Xt: Rules, Strategies, Tools, And Systems In Strategoxt-0.9", C. Lengauer Et. Al, Ed., Domain-Specific Program Generation, Vol. 3016 Of Lncs, 2004, P. 216-238. (Pubitemid 38803775)