{"id":"W3005050519","doi":"10.1145/2980983.2908096","title":"From Datalog to flix: a declarative language for fixed points on lattices","year":2016,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Datalog; Computer science; Programming language; Semantics (computer science); Syntax; Compiler; Declarative programming; Theoretical computer science; Programming paradigm; Artificial intelligence; Inductive 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.004019076,0.0009372035,0.000764899,0.001333119,0.0008015025,0.004175114,0.002918241,0.001020018,0.00743772],"category_scores_gemma":[0.00572398,0.001158452,0.001631467,0.001203861,0.002866558,0.005628591,0.002935146,0.004890267,0.002249435],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001749552,"about_ca_system_score_gemma":0.002568725,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002704967,"about_ca_topic_score_gemma":0.003887604,"domain_scores_codex":[0.9980993,0.0004611494,0.0002685295,0.0003155063,0.0006963194,0.0001592919],"domain_scores_gemma":[0.9969763,0.001675758,0.0002192951,0.0004465726,0.0005320586,0.0001500631],"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.0001644943,0.00009024976,0.000569924,0.0006373108,0.00004150034,0.000334805,0.001336352,0.02507994,0.007938704,0.813384,0.03929614,0.1111265],"study_design_scores_gemma":[0.0001217766,0.00009975571,0.0002728086,0.0003035166,0.0000448356,0.000548781,0.0002984601,0.1130491,0.0179204,0.548594,0.3186218,0.0001247879],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001190864,0.0001294066,0.9902478,0.000462368,0.00007439869,0.00005431204,0.0008462185,0.004562395,0.002432188],"genre_scores_gemma":[0.04874576,0.0005826445,0.9385434,0.001403057,0.0001961749,0.0004841341,0.002285196,0.002601495,0.005158172],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00743772,"threshold_uncertainty_score":0.0248816,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04392462176471745,"score_gpt":0.2999157988836089,"score_spread":0.2559911771188915,"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."}}