{"id":"W1917056660","doi":"10.1109/ccece.1995.526606","title":"COP: a simple way to integrate imperative programming and declarative programming","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Programming language; Prolog; Computer science; Programmer; Fifth-generation programming language; Logic programming; Declarative programming; Procedural programming; Syntax; Semantics (computer science); Datalog; Programming paradigm; Inductive programming; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004215066,0.000317489,0.0003448428,0.0001532048,0.0003504086,0.0009710004,0.0005701002,0.0001057473,0.00005094988],"category_scores_gemma":[0.00008552172,0.0002308232,0.00007933069,0.0007743636,0.00009513416,0.0006400929,0.0003463019,0.0002091514,0.0002066833],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006911277,"about_ca_system_score_gemma":0.00002204539,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002676586,"about_ca_topic_score_gemma":0.0003254582,"domain_scores_codex":[0.9977346,0.0001310189,0.0003662785,0.0007636905,0.0003121422,0.0006922779],"domain_scores_gemma":[0.9987631,0.000102386,0.0001060617,0.000461012,0.0002176406,0.000349739],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000004676786,0.0001157991,0.001204824,0.0000220296,0.00004483787,0.00003908926,0.01480061,0.000003375793,0.0002105817,0.2120483,0.001296429,0.7702094],"study_design_scores_gemma":[0.002228444,0.003991473,0.001234578,0.00004822172,0.00004892307,0.0003534142,0.008708748,0.05114957,0.008976406,0.0157157,0.9051363,0.002408258],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01714956,0.0005438708,0.9711705,0.0009549197,0.0002861801,0.00171384,8.978895e-7,0.0007630397,0.00741722],"genre_scores_gemma":[0.9224415,0.00001033162,0.07512966,0.0003532503,0.00009019343,0.0002580635,0.000002681454,0.00001735866,0.001696981],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9052919,"threshold_uncertainty_score":0.9412695,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03332084591620554,"score_gpt":0.2676581179354889,"score_spread":0.2343372720192833,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}