{"id":"W4414978574","doi":"10.1145/3763126","title":"Flix: A Design for Language-Integrated Datalog","year":2025,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Datalog; Implementation; Guard (computer science); Constraint programming; Modular design; Declarative programming; Program analysis; Logic programming","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003639222,0.000924475,0.0006087451,0.001221386,0.0008771025,0.00339144,0.003789508,0.001119005,0.006528843],"category_scores_gemma":[0.005403173,0.001353343,0.001479913,0.001045997,0.002103398,0.006946436,0.003840338,0.002795926,0.002288859],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001954681,"about_ca_system_score_gemma":0.003014955,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002749932,"about_ca_topic_score_gemma":0.003052907,"domain_scores_codex":[0.9980202,0.0003500095,0.0002422915,0.0004273097,0.0007315307,0.0002286156],"domain_scores_gemma":[0.9983444,0.0005198009,0.0001671896,0.0004455516,0.0004008836,0.0001221907],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0007058092,0.0002784007,0.002648649,0.001340161,0.0001495757,0.0006530234,0.001597975,0.05086336,0.02992054,0.5894438,0.04226211,0.2801367],"study_design_scores_gemma":[0.0001989999,0.0003135237,0.0005981612,0.0005067778,0.0002341695,0.001020569,0.0003026316,0.2638551,0.06422323,0.1837256,0.484859,0.0001622756],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001494753,0.00007237821,0.9871565,0.0001460713,0.00004348024,0.0001229613,0.000258424,0.00839202,0.002313428],"genre_scores_gemma":[0.0612703,0.0003410889,0.9235035,0.000748427,0.00008363695,0.0007669115,0.00179128,0.003843088,0.007651809],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006528843,"threshold_uncertainty_score":0.02184117,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02405137264420407,"score_gpt":0.3026961629178796,"score_spread":0.2786447902736755,"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."}}