{"doi":"10.1145/208639.208644","title":"Representing calendrical algorithms and data in Prolog and Prolog III languages","abstract":"<jats:p>The paper reports on a study to develop solutions for a chosen problem in two related, but different languages. Moreover, the languages reflect two related, but different programming paradigms: logic programming, and constraint, logic programming, respectively. We use Prolog to describe calendars and their mutual conversions. Next, we use Prolog III to describe the same. We discuss suitability of both languages for this kind of task. Prolog III as a logic programming language with constraints allows writing a program which is both more general (i.e., covering a broader range of cases) and more abstract (i.e., expressed on a higher level of abstraction due to the use of constraints).</jats:p>","journal":"ACM SIGPLAN Notices","year":1995,"id":29772,"datarank":0.1855005163591364,"base_score":0.6931471805599453,"endowment":0.6931471805599453,"self_citation_contribution":0.10397207708399181,"citation_network_contribution":0.0815284392751446,"self_endowment_contribution":0.10397207708399181,"citer_contribution":0.0815284392751446,"corpus_percentile":null,"corpus_rank":null,"citation_count":1,"citer_count":1,"citers_with_citation_signal":1,"citers_with_endowment":1,"datacite_reuse_total":0,"is_dataset":false,"is_dataset_confidence":null,"is_data_producer":false,"deposit_databanks":null,"is_oa":false,"file_count":0,"downloads":0,"has_version_chain":false,"published_date":null,"fair_score":null,"fair_percentile":null,"algorithm_id":"datarank_citation_only_1hop_v6","ranking_scope":"data_only","authors":[{"id":163379,"name":"Maria Bieliková","orcid":null,"position":1,"is_corresponding":false},{"id":163378,"name":"Pavol Návrat","orcid":null,"position":0,"is_corresponding":false}],"reference_count":0,"raw_metadata":{"has_enrichment":true,"base_score":0.6931471805599453,"endowment":0.6931471805599453,"datacite_reuse_total":0,"file_count":0,"downloads":0,"views":0,"has_version_chain":false,"is_dataset":false,"is_oa":false,"pmid":"24523987","pmcid":null,"openalex_id":"https://openalex.org/W1996683955","authors":[],"funders":[],"total_grants":0,"fwci":0.0,"citation_percentile":0.11056476,"influential_citations":0,"citation_trend":[],"oa_status":"bronze","license":"https://www.acm.org/publications/policies/copyright_policy#Background","oa_locations":[{"url":"https://dl.acm.org/doi/pdf/10.1145/208639.208644","host_type":"journal"},{"url":"https://dl.acm.org/doi/pdf/10.1145/208639.208644","host_type":"BRONZE"},{"url":"https://dl.acm.org/doi/pdf/10.1145/208639.208644","host_type":"publisher"},{"url":"https://dl.acm.org/doi/10.1145/208639.208644","host_type":"publisher"},{"url":"https://doi.org/10.1145/208639.208644","host_type":"journal"}],"fields_of_study":["Logic, programming, and type systems","Logic, Reasoning, and Knowledge","Classical Philosophy and Thought","Computer Science"],"mesh_terms":[],"keywords":["Prolog","Programming language","Computer science","Logic programming","Constraint programming","Fifth-generation programming language","Abstraction","Declarative programming","Task (project management)","Range (aeronautics)","Horn clause","Functional logic programming","Programming paradigm","Inductive programming","Theoretical computer science","Mathematics"],"sdg_mappings":[{"sdg_number":0,"sdg_label":"Quality Education"}],"linked_datasets":[],"clinical_trials":[],"software_tools":[],"database_accessions":[],"source":"live","citation_network_status":"fetched"},"created_at":"2026-06-09T00:42:03.004863Z","pmid":null,"pmcid":null,"fwci":null,"citation_percentile":null,"influential_citations":0,"oa_status":null,"license":null,"views":0,"total_file_size_bytes":0,"version_count":0,"fair_f":null,"fair_a":null,"fair_i":null,"fair_r":null,"fair_zscore":null,"fair_rationale":null,"fair_model":null,"fair_agent_version":null,"fair_fulltext_source":null,"fair_has_llm":null,"fair_computed_at":null,"clinical_trials":[],"software_tools":[],"db_accessions":[],"linked_datasets":[],"topics":[]}