Foundations of the rule-based system ρLog

We describe the foundations of a system for rule-based programming which integrates two powerful mechanisms: (1) matching with context variables, sequence variables, and regular constraints for their matching values; and (2) strategic programming with labeled rules. The system is called ρLog, and is...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of applied non-classical logics Jg. 16; H. 1-2; S. 151 - 168
Hauptverfasser: Marin, Mircea, Kutsia, Temur
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Taylor & Francis Group 01.01.2006
Schlagworte:
declarative programming
matching
rule-based programming
ISSN:1166-3081, 1958-5780
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract We describe the foundations of a system for rule-based programming which integrates two powerful mechanisms: (1) matching with context variables, sequence variables, and regular constraints for their matching values; and (2) strategic programming with labeled rules. The system is called ρLog, and is built on top of the pattern matching and rule-based programming capabilities of Mathematica.
AbstractList We describe the foundations of a system for rule-based programming which integrates two powerful mechanisms: (1) matching with context variables, sequence variables, and regular constraints for their matching values; and (2) strategic programming with labeled rules. The system is called ρLog, and is built on top of the pattern matching and rule-based programming capabilities of Mathematica.
Author Marin, Mircea
Kutsia, Temur
Author_xml – sequence: 1
  givenname: Mircea
  surname: Marin
  fullname: Marin, Mircea
  organization: Graduate School of Systems and Information Engineering , University of Tsukuba
– sequence: 2
  givenname: Temur
  surname: Kutsia
  fullname: Kutsia, Temur
  organization: Research Institute for Symbolic Computation , Johannes Kepler University of Linz
BookMark eNp9j0FLAzEQRoNUsK3ePe5ZSM1smjSLJym2CgUveg6zm0S3bDeSpMge_YX-JWPrSdDTN4f3Bt6EjHrfW0Iugc04SHm9xb7pZiBnIICCVCdkDJVQVCwUG-U7M5QzBWdkEuOWMTEvWTkmVyu_7w2m1vex8K5Ir7YI-87SGqM1RRxisrvi82PjX87JqcMu2oufnZLn1d3T8p5uHtcPy9sNbUpgiSJWkhvRGCetqiXWpeEOUBhAN6-4cqLMYDl33NiFkOBcrRQwJyswwhjkU8KOf5vgYwzW6bfQ7jAMGpj-btWHVg1S59Y8Kivyl9K06RCVArbdf-LNUWx758MO333ojE44dD64kOk2ZvMv-wtYnXGO
CitedBy_id crossref_primary_10_1007_s10515_021_00307_9
crossref_primary_10_1016_j_jsc_2008_05_001
crossref_primary_10_1016_j_jlamp_2021_100700
crossref_primary_10_1016_j_jlamp_2023_100887
crossref_primary_10_1016_j_jsc_2009_07_001
crossref_primary_10_1016_j_jlamp_2025_101072
crossref_primary_10_1016_j_jsc_2021_01_001
crossref_primary_10_1017_S1471068415000071
crossref_primary_10_1016_j_jlamp_2021_100728
Cites_doi 10.1016/0304-3975(92)90182-F
10.1007/s002000100064
10.1016/S0304-3975(01)00361-9
10.1016/0743-1066(94)90024-8
10.1016/S0304-3975(01)00358-9
10.1007/978-3-540-25935-0_13
ContentType Journal Article
Copyright Copyright Taylor & Francis Group, LLC 2006
Copyright_xml – notice: Copyright Taylor & Francis Group, LLC 2006
DBID AAYXX
CITATION
DOI 10.3166/jancl.16.151-168
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Philosophy
EISSN 1958-5780
EndPage 168
ExternalDocumentID 10_3166_jancl_16_151_168
9736551
GroupedDBID .QJ
0BK
0R~
30N
4.4
5GY
AAENE
AAGDL
AAHIA
AAJMT
AALDU
AAMIU
AAPUL
AAQRR
ABCCY
ABFIM
ABJNI
ABLIJ
ABPAQ
ABPEM
ABTAI
ABXUL
ABXYU
ACGFS
ACGOD
ACTIO
ACTTO
ADCVX
ADGTB
AEISY
AEOZL
AEPSL
AEYOC
AFBWG
AFION
AFRVT
AGDLA
AGMYJ
AGVKY
AGWUF
AHDZW
AIJEM
AIYEW
AKBVH
AKOOK
ALMA_UNASSIGNED_HOLDINGS
ALQZU
ALRRR
AQRUH
AQTUD
AVBZW
AWYRJ
BLEHA
BWMZZ
CCCUG
CS3
CYRSC
DAOYK
DGEBU
DKSSO
EBS
EJD
E~A
E~B
GTTXZ
H13
HZ~
H~P
J.P
KYCEM
M4Z
NX~
O9-
OPCYK
RNANH
ROSJB
RTWRZ
S-T
SNACF
TAJZE
TASJS
TBQAZ
TDBHL
TEN
TFL
TFT
TFW
TTHFI
TUROJ
UT5
ZGOLN
~S~
.DC
07I
29J
88I
8FE
8FG
8R4
8R5
AAYXX
ABUWG
ADUMR
ADXEU
AEHZU
AEZBV
AFFHD
AFKRA
AGBKS
AGYFW
AKHJE
AKMBP
ALXIB
AMATQ
ARAPS
AZQEC
BENPR
BGLVJ
BGSSV
BPHCQ
C0-
CCPQU
CITATION
DEXXA
DWQXO
FETWF
GNUQQ
HCIFZ
HF~
IFELN
IPNFZ
K6V
K7-
LJTGL
M2P
NUSFT
P62
PHGZM
PHGZT
PQGLB
PQQKQ
PROAC
Q2X
RIG
ID FETCH-LOGICAL-c210t-aa963d5cdf6e8b6ab2d3f1a5d1af4938f52c2124f3de7561ffb8810f691d5dda3
IEDL.DBID TFW
ISSN 1166-3081
IngestDate Sat Nov 29 06:13:21 EST 2025
Tue Nov 18 22:25:55 EST 2025
Mon Oct 20 23:36:14 EDT 2025
IsPeerReviewed true
IsScholarly true
Issue 1-2
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c210t-aa963d5cdf6e8b6ab2d3f1a5d1af4938f52c2124f3de7561ffb8810f691d5dda3
PageCount 18
ParticipantIDs crossref_citationtrail_10_3166_jancl_16_151_168
crossref_primary_10_3166_jancl_16_151_168
informaworld_taylorfrancis_310_3166_jancl_16_151_168
PublicationCentury 2000
PublicationDate 1/1/2006
2006-01-00
PublicationDateYYYYMMDD 2006-01-01
PublicationDate_xml – month: 01
  year: 2006
  text: 1/1/2006
  day: 01
PublicationDecade 2000
PublicationTitle Journal of applied non-classical logics
PublicationYear 2006
Publisher Taylor & Francis Group
Publisher_xml – name: Taylor & Francis Group
References BERGSTRA J. (CIT0002) 1989
GALLIER J. (CIT0011) 1985
VISSER E. (CIT0022) 1998
MARIN M. (CIT0017) 2004
MARIN M. (CIT0018) 2004
APT K. R. (CIT0001) 1994; 19
KUTSIA T. (CIT0012) 2005
BERTOLISSI C. (CIT0003)
BOROVANSKÝ P. (CIT0005) 2002; 285
BOCKMAYR A. (CIT0004) 1990
MESEGUER J. (CIT0020) 1992; 1
MARIN M. (CIT0014) 2003
KUTSIA T. (CIT0013)
DIACONESCU R. (CIT0009) 2002; 285
OHLEBUSCH E. (CIT0021) 2001; 12
FAIRBANKS D. J. (CIT0010) 1999
VISSER E. (CIT0023) 2004
MARIN M. (CIT0016) 2004
CIRSTEA H. (CIT0007)
MARIN M. (CIT0015) 2004
CLAVEL M. (CIT0008) 2002; 285
CIRSTEA H. (CIT0006)
MARIN M. (CIT0019) 2006; 11
References_xml – volume: 1
  start-page: 73
  issue: 96
  year: 1992
  ident: CIT0020
  publication-title: TCS
  doi: 10.1016/0304-3975(92)90182-F
– start-page: 215
  volume-title: Proceedings of LPAR'05, vol. 3835 of LNAI
  ident: CIT0013
– volume: 12
  start-page: 73
  year: 2001
  ident: CIT0021
  publication-title: AAECC
  doi: 10.1007/s002000100064
– volume-title: Electronic Proceedings of IMS 2004
  year: 2004
  ident: CIT0018
– volume: 285
  start-page: 289
  issue: 2
  year: 2002
  ident: CIT0009
  publication-title: TCS
  doi: 10.1016/S0304-3975(01)00361-9
– volume-title: Logic for Computer Science: Foundations of Automatic Theorem Proving
  year: 1985
  ident: CIT0011
– volume: 19
  start-page: 9
  issue: 20
  year: 1994
  ident: CIT0001
  publication-title: Journal of Logic Programming
  doi: 10.1016/0743-1066(94)90024-8
– volume-title: Genetics: the continuity of life
  year: 1999
  ident: CIT0010
– volume: 285
  start-page: 186
  issue: 2
  year: 2002
  ident: CIT0008
  publication-title: TCS
– start-page: 1
  volume-title: Algebraic Specification
  year: 1989
  ident: CIT0002
– volume-title: Wokshop on term graph rewriting
  ident: CIT0003
– start-page: 55
  volume-title: Proceedings of the 4th International Workshop on the Implementation of Logics
  year: 2003
  ident: CIT0014
– start-page: 161
  volume-title: Mathematical Knowledge Management Symposium, , vol. 93 of ENTCS
  year: 2004
  ident: CIT0017
– volume-title: WRLA'98, vol. 15 of ENTCS
  year: 1998
  ident: CIT0022
– volume-title: Post-proceedings of TYPES'03
  ident: CIT0006
– start-page: 77
  volume-title: Proceedings of UNIF'05
  year: 2005
  ident: CIT0012
– volume: 285
  start-page: 155
  issue: 2
  year: 2002
  ident: CIT0005
  publication-title: TCS
  doi: 10.1016/S0304-3975(01)00358-9
– volume-title: Proceedings of the 5th workshop on rewriting logic and applications
  ident: CIT0007
– volume: 11
  start-page: 50
  issue: 1
  year: 2006
  ident: CIT0019
  publication-title: Mathematica in Education and Research
– volume-title: Beiträge zur Theorie des Logisch-Funktionalen Programmierens
  year: 1990
  ident: CIT0004
– start-page: 227
  volume-title: Proceedings of SYNASC 2004
  year: 2004
  ident: CIT0015
– start-page: 120
  volume-title: Proceedings of the Sixth ACM-SIGPLAN Conference on Principles and Practice of Declarative Programming
  year: 2004
  ident: CIT0016
– start-page: 216
  volume-title: Domain-Specific Program Generation, vol. 3016 of LNCS
  year: 2004
  ident: CIT0023
  doi: 10.1007/978-3-540-25935-0_13
SSID ssj0054202
Score 1.7563934
Snippet We describe the foundations of a system for rule-based programming which integrates two powerful mechanisms: (1) matching with context variables, sequence...
SourceID crossref
informaworld
SourceType Enrichment Source
Index Database
Publisher
StartPage 151
SubjectTerms declarative programming
matching
rule-based programming
Title Foundations of the rule-based system ρLog
URI https://www.tandfonline.com/doi/abs/10.3166/jancl.16.151-168
Volume 16
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAWR
  databaseName: Taylor and Francis Online Journals
  customDbUrl:
  eissn: 1958-5780
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0054202
  issn: 1166-3081
  databaseCode: TFW
  dateStart: 19910101
  isFulltext: true
  titleUrlDefault: https://www.tandfonline.com
  providerName: Taylor & Francis
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV09T8MwELWqiqEL34hvZWAByW3sOK4tsSBExVBVHYroFjk5G4GqFrUpEiO_kL_EOWkolYABpix-SXQ5-50d-z1CzhyXLgbDaaSNpsKEQJXQigK0rfdHssIWkvnddq-nhkPdr5HL6iyM31bp59CuFIooxmrfuU1aOJBETMrWE8Zj1GSyiWxFmfQnfbGo9-k96NxXwzA-p9xwiAgaIfGV_yi_vcEKJ60oln7hms7G_95yk6wvaszgqkyKLVKz423S6FemBa875GLppjQLJi7AKjCYzkeWelKDoJR3Dt7fupOHXXLXuRlc39KFawLNcPqWU2OwT0GcgZNWpdKkHCLHTAzMOKEj5WKODblwEdg2Vk_OpUqx0EnNIAYw0R6pjydju08CjtWFMBIE40xYiI0MrdKGhyYLJTL9AWlVcUuyhaS4d7YYJTi18EFIiiAkTCYYBLwg4vwT8VzKafzSVnz9FEleLGG40m8EIT_ADv8GOyKN5erKMann07k9IWvZS_44m54WqfUBOC7Slg
linkProvider Taylor & Francis
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV09T8MwED1BQaIL34hvMrCAZBo7juuMCFEVUaoORXSL3NhGoKpFbYrEyC_kL3FOUtpKwABTFr8kuth-d87pPYBTy4QNtWIkiFREuPI1kTySROuqcf5IhptMMr9RbTZlpxO1it6cUdFW6WpomwtFZHu1W9zuMLqSlZhCVJ4xIL0LKi6QrggVchGWQqRZ19HXrj1MNmJ8Ut5yiBASIPXlfym_vcMcK81pls6wTW3tn--5DqtFmuld5vNiAxZMfxPKrYlvwdsWnE8NlUbewHqYCHrDcc8Qx2vayxWevY_3xuBxG-5r1-2rOimME0iCFVxKlMJlpcNEW2FkV6gu04GlKtRUWR4F0oYMBzJuA22qmEBZ25WS-lZEVIdaq2AHSv1B3-yCxzDB4EpoThnlRodK-EZGivkq8QWS_R5UJoGLk0JV3Jlb9GKsLlwQ4iwIMRUxBgEviDj7Qrzkihq_jOWz3yJOs1MMm1uOIOQH2P7fYCewUm_fNeLGTfP2AMrTw5ZDKKXDsTmC5eQ1fRoNj7N59glyS9a3
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3PS8MwFA5ziuzib_G3PXhRiGvSNEvBi6hFcYwdJu5Wsr5ElLGNrRM8-hf6L_narm4D9aCnXvK15TXJ916Sfh8hJ5ZL64Pm1At0QIV2gSoRKApQM6k_khEmk8yv1xoN1W4HzRK5KP6FSY9VpjW0zYUisrk6HdwDsNWswpSy-oLx6J4zeY5sRZlUC2Qx08XC3twKH4t5GB-UnzhECPWQ-fJNym_vMEdKc5KlM2QTrv7vNdfIyiTJdC7zXrFOSqa3QSrNwrXgbZOcTe2URk7fOpgGOsNx19CU1cDJ9Z2dj_d6_2mLPIQ3ratbOrFNoDHWbwnVGgcV-DFYaVRH6g4HzzLtA9NWBJ6yPseGXFgPTA3TJ2s7SjHXyoCBD6C9bVLu9Xtmhzgc0wuhJQjGmTDga-kaFWju6tiVSPW7pFrELYonmuKptUU3wtoiDUKUBSFiMsIg4AURp1-IQa6n8UtbMfspoiRbw7C54QhCfoDt_Q12TJab12FUv2vc75PKdKXlgJST4dgckqX4NXkeDY-yXvYJ-urVWw
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Foundations+of+the+rule-based+system+%CF%81Log&rft.jtitle=Journal+of+applied+non-classical+logics&rft.au=Marin%2C+Mircea&rft.au=Kutsia%2C+Temur&rft.date=2006-01-01&rft.issn=1166-3081&rft.eissn=1958-5780&rft.volume=16&rft.issue=1-2&rft.spage=151&rft.epage=168&rft_id=info:doi/10.3166%2Fjancl.16.151-168&rft.externalDBID=n%2Fa&rft.externalDocID=10_3166_jancl_16_151_168
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1166-3081&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1166-3081&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1166-3081&client=summon