From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver= Authentication-Results: plum; dmarc=fail (p=none dis=none) header.from=free.fr Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=UqyxiGY/; dkim-atps=neutral Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id 88B53B80123 for ; Tue, 12 Nov 2024 22:03:17 +0000 (GMT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:mime-version: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=7sPrqeRDlnjjRgEF4L/H9t3y27IeNpluHE3jtnWiBiI=; b=UqyxiGY/HEeJXTnLv7xDH4Qi0KGI+3/BqqPCHVUGHPY4QVK2lA+f3LDa xEIznVbWWDsrLWhuvzJ2PeMxiF2TkVpAFXtUx4Lq8Y/lUo1rkky1xRAKD nNwLtVEfnDScaKXog8W4rG4YZeyVEVS94JFRbH5iDoWLORoyZFFkeKrSc E=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.12,149,1728943200"; d="scan'208";a="193483414" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Nov 2024 23:03:16 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id E3774E0D43; Tue, 12 Nov 2024 23:03:15 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C21EBE00B7 for ; Tue, 12 Nov 2024 23:03:13 +0100 (CET) IronPort-SDR: 6733d0a1_g9uckzHDTvEw7+xE9bxHcq9hLZI8LNNf9SbtdN1V4rIdulC 0CoRVNB/clSkAP9Wfu6NDEIh7c1nPJMj+DvTkNA== X-IPAS-Result: =?us-ascii?q?A0FBDAAF0DNngQEqG9RaHQEBPAEFBQECAQkBFYFVgkJ3B?= =?us-ascii?q?lozBAtIlCOiNw8BAwENFAEBHw0CBAEBAwSPQQIeBwEENBMBAgQBAQEBAwIDA?= =?us-ascii?q?QEBAQEBEAEBBQEBAQIBAQIEBgECEAEBOwcOO4V7DYJbghEJOAEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBGAINgT6FEYIvATQHsh2BNIEBhHvXdAmBO4EaU4FIAYVpgmIBi?= =?us-ascii?q?mAnD02BCESBR4hGhXcEgkGCcYIsJYEWiACYY0iBBRwDWTIBVRMNCgsHBYF2A?= =?us-ascii?q?4JXeiuBDoEXOoF+gSJKhRqBBYJKaUs6Ag0CNoIkfYJPhRqEbYRmgjcdQAMLG?= =?us-ascii?q?A1IESw1FBsGPm4HnjlHhEgJFwaBAEClRaAtgQo0ByuBc4F/BYFeDIonlSkaM?= =?us-ascii?q?4VapHOYd6Q9hGaBfiMugS50gzMJRgMZD5NZxTJCNTsCBwsBAQMJhUWLe4FLA?= =?us-ascii?q?QE?= IronPort-PHdr: A9a23:IggfzRV2SaZKJI5IT9ajeFjcQnzV8KzUXDF92vMcY1JmTK2v8tzYM VDF4r011RmVBtydsq4P0reO++C4ACpcus7H6ChDOLV3FDY7yuwu3DYcSPafDkP6KPO4JwcbJ +9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEtfre9FYHdldm42P6v8JPPfQpImCC9YbRvJ xmqsAndrMYbjIV/Jqor1xfErXREd/lWyG90OFmfmwrw6tqq8JNs/Slcp+gt+9JcXan/Yq81U aFWADM6Pm8648HmqQPNQQyT6HUCT24YiABIAw/L7BH7Wpf+rC73vfdj1SeZIMP7U6k6VSyt4 Kl3RhDojjwHNyMi/2HMlsNwlqNbrwm/qBF53oXZfZuaNPt6fqPaYNMaWW9MVdtfWiBdHo+xa ZYEAuwcNuhasob9vUMDoxW+CweyGe3hyThGiXDq0qM1yOkhDQPL0RY8E98UrHjYstP4P7oSX +Cvy6nIyC3OYetX2Tjh74jIdgouoeqRVrxwbcTc1VEhGh3cgFuTtILuIjSY1uIMs2eH6OpgU figi3U9pwF/uDig3MEshZXOhoIU0VDJ7it5wJwrKtKmUkJ7b8SkHYJWuiqHOIR4XtksTHt0u CYm1LIGo5i7cTAIxZklxxDSaf2Kf5WH7x79VuucLip1in1mdb+/iBi88UatxvD4W8Sq01tHr TZJn9fMuH0MyxHe9tWKR+dz8Eu83zuEyg7d6uZBIU8ulKrbLYYswrAqlpUNr0vPBCH2mF/wg aSLdUsk4vCl5/r6brn4vJOQKY15hhvxP6gwgMCzHPw0PwwTU2SB5Oix1bnu8VfkTLhLkvE6i KfUvZHcKM8GuKO5BxJV0p0/6xmhFTeozdUYnHgZI19dZB6KiZXiNUvUL/DiF/i/hkyhkDd1y PDCOb3sGo7NLn3fkLf5YLpx8kFcxBQuwdxF6ZJUEK8OL+zpVk//rtzUFh45MwqqzOb7ENhxy J4SVXyVDqOHMq7eq1CF6vw1L+WRfIMVvSzyK/kh5/7gl385nlodcLGv3ZsWdH+4GfBmLF+CY Xb2jNcBC30FvgwiQ+ztiV2CSiVeZ3ioX60i+D43EoymDZ3bSoCrm7OOxD27EYFOZmBaFlCMF m/le5icV/cWdC2SOtNhkiADVbW5V4AuzxSutAvjx7pjL+rU4TEYuIn41Nl14u3TjQs9+SZ1D 8SbyWGNTnt7knkGRz8sj+hDphl2w1KHlKx5mOBwFNpJ5voPXB1pG4TbyrlcCtv1XgvaNvmzY XCNZfSdSWU3T9k2x9YVJUhnEtOpiRHY9ySwDrJTmabdV898yb7Vw3Wkf5U18H3BzqR01zHOI +NKPGyi3etk8hTLQpXOiwOfnrqrcqIV2GjM8n2CxCyAphIQSxZ+BIPCW31XfU7KtZLh/EqXS b6lDrAuKU1P08eEIaxLcfXnl1hLAvn5a5zFe2zko26rHl6Tw6+UKo/jemETxiLYXU4FmAcX9 G3AOxI3ACymonn2AiZjGBTheRCk6vFw/VW8SEJ81ASWdwth2r6yrwYSnuCZQugP06gsoyI9s 2wxEwzkmdzMBtfGqRAJkLx0R9Q77R8H0GvYs1c4JZm8N+V5gUZYdQ1rvkTo3hExC4NakMFso ml4hAx1YbmV1l9MbVb6ldj5J6HXJ2/u/Ruud7+e21fQ18yT87sO7/JwokvqvQWgHE4vu3t91 Nwd33yZ75TMRA0cNPC5GkA2/B9+rqqcbDM04YjT1GZEP7O5v3nMwZNhBecozAqhY8YKKLmNR 2qQW4URA8mjLvBvmkD8NEteeroNsvJueZr1EpnOkLSmN+thgj+82GFO4YQml1mJ6zI5UenQm ZAM3/Cf2AKDETb6llao9M7tyuUmLXkfGHSyzS/8CctffKp3KMwNCGypJ8SsgNtkjpjmXH9D3 FC5Cl5A1tXjKn/wJxTtmBZd00gauyntnyqzyDh9iHcntKOZ1yvP2MzsbhcKfGBRDjoH7x+kM c2/iNYUW1KtZg4imU6+5Er08KNcobx2M2jZRUogkzHeF2h5SePws7ODZ5UK85Y0qWBMV/z6Z 1mGS7n7qh9c0iX5HmIYyippPz2tv5z4mVR9hgf/ZD51rXHefchrgxnF7drXQv9K9jQcSSQ+h yOfClWnPtav9MmZjN+Z67r4DT3nCscVKGHi1suYuTG+5HF2DBHa/bj7gdDhHQUgkGf629RsS STUvUP5a4jv2b69NLEvdU1pCVngrstiT9snyM1q29dMgz5D1fD3tTIdnGz+MMtWw/f7ZXsJH nsQxsLNpRPiwAtlJ26IwITwUjOcxNFgbp+0eDBzuGp14sZUBaOT9LEBkzFypw/yqwPaZvx0h XET0/Io43kbmMkHogcgiCuHSON3fwEQLWn3mhKE4srr5qNWb2GreKP22lB3m9umDaqqrBtRV TD3YN1xeE04ptU6O1XK3nrp74jic9SFdtMfuCqflBLYhvRUIpY8xbIawDBqMmXnsTg52vY22 FZwiIqistHNeAAPtOqpRwRVPTrva4YP9yHx2OxAy92O0dnnH409SG9SBt2yErT0SnRL/fX/a VTUGWVl+HrDEuiGT1bCuRY0/SuXdvLjf3CPeCtDlI8kHkbbeBYZ2kgVRGtoxJdhT1KnnMezK RUgu2FAtAyh81NN0r46bUClFD2A4lvyLGxRKtDXLQIIvFtLvx6HPJSVvLshRnwJr8/z9VbFK 3THNV4RVydTBQrYXRa/W9vmrdjYrbrCD7LnffaWaufX+7UDBqbal8v0mop+o2TWb5/JZCYkU 6d9hy8hFTh4A5qLwTxXEn4azymfNpzC+UbtqH8u8oi+6Ki5Alu1o9HQTecId4sKmVj+gL/dZ bSZ3H8rJG5ThMpenCKZmepNhQNaijkyJWP0S/Ja6miRFuSB/80fRx8DNXEpPZMRva9k1VsUa 5eG24KnhOcoxv8tVwUfDAanwJ7vOZZMejnYVhuPBV7VZu6PfWSZzpn8M/ruEOAB3bcG7kz4/ D+fFwWL0i2rsT7vWljvNOhNiHreJxlCoMSmdQ4rD2H/TdXgYxn9MdltjDRwz6dmznXNfXURN zRxaSYv5vWZ8D9Yj/NjGmdA8mstLO+KnDyc5vXZLZBeuOViAyB9neZXqHogzL4d4CZBTf1z0 Czcy7wm60mhifWKwyF7XQBmsTNXnNvOsh87f6vD+5QGV2yFtBMB4GOMCggb8ttoDtq83sIYg tPLla/1NHJD64eOpJFaXZeSdJjBaSlEU1KhAjPfAQobQCT+MGjegxcYi/SO7jiOqYB8rJHwm Z0IQ7sdVVovF/pcBF42eb5KaJpxQD4glqaWycAS4n/r5h/QT8Jet4uBWOibB/7oKS2xg6NJa l0G2/mrSOZbfp2+wEFkZlRgyc7SHFHMWNlWviB7RhQxvF0UtXckFys9wU/oLA23qix2d7b8j ls9jQ1wZv4o/THn7gIsJ1bEkyA3lVE4hdTvhT35mN/ZN6KsRdgTBHCt8UYrP569TRwnNWVae GRqLjrJAbxL3eMInY9DhhXRtN1BA6wFJZA= IronPort-Data: A9a23:xg8AGq6t9vL3Milcb2D5VwxRtN3DchMFZxGqfqrLsTDasY5as4F+v mIZWWHVb/+JZGTwe9FyO9myphwGu8DdxtAxHFQ9rS08Zn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgtaAr414rZ8Ekz5a2r4mtE1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj685sPX1sL7M8w8x+Om516 MxDN281aw/W0opawJrjIgVtrt8mMNGyeYxF4zdu1zzUS/g8KXzBa/+Tv5kCg3Fs3IYXdRrdT 5JxhT5HahXLZBlGIREZEps4l+CpnVHxaTBV7lyPzUYyyzGLlVAogOa8YLI5fPSbZPprshm8h Vnn5ln6I0g4KdmPkx+spyfEaujnx3yiAtlPfFGizdZhiViXg2gSEwE+Tkq+ufD/i0ikWtsZJ VZ8x8Y1hbM36FTyC9anBlu2unOJ+BAGMzZNLwEkwDqP+5aO8Ti9P0INdTF6dex9q5AOQCN/g zdlgOjVLTBotbSUT1eU+bGVsS6+NEApwYkqOHBsoewtvoaLnW0jsi8jWOqPB4abtLXI9dzY2 DWWtHF7iO9Ky8AR2qj980qvb9OQSnrhEVFdCub/BzPNAuZFiGiNO9zABb/zsaYoEWphZgPd1 EXoYuDHhAz0MbmDlTaWXMIGF6yz6vCOPVX02AE0RsJ9pmT8oSX7I+i8BQ2Swm80Y67onhe3P SfuVf95vcc70IaCPf8oOtPqVazGM4C8RY+/C6y8giVyjmhZLlDepnozDaJh9273nUVkiqgkU ap3gu7yZUv2/Z9PlWLsL89EieFD7nlnmQv7G8qnpzz5iuD2TCDOFt843K6mNLFRAFWs+12Nq 4432grj40k3bdASlQGMrNFJfQxXdSlqbX00wuQOHtO+zsNdMDlJI5fsLXkJIuSJRowEx7uaz WL3QUJC1lv0iFvOLAjAODgpa6riUdw75Tg3NDAldwTgkXUyQ5ed3IFGfbsOfJ4j6LNCy9xwR KI7YMmuOKlEZQnG3DU/VqPDirJeWi6lvi+wGha0QSMeesdgTjPZ+9W/cQrI8jIPPxWNtsA/g uOB0CXHTboqVyBdB9fzU6+qxFaPuVwYqvNTXlTJEPZXak7D4IhnEA2vr/4VcuUnCwTP+Sue7 CmSWSwnnOjqp5Qn1fX4noaGpJeNP8okO2FFRk/3w7qSHgvLzFqJmINvfr6BQmHAaTnS5q6nW 9Rw89j9F/82xHBxrIt2FudQ/5IUvtfAiedT8VV5IS/tcV+uN7JHJ0uG1+lpsolm5OdQmSmya 3K11uhqA5e7E+K7LwdJPysgVPqJ6t8MkDqL7fgVHlTz1BUqwJW5C3dtLzu+ow0DCoBqMbEV4 /Yr4+8XzA2dtiAEEPi7igJsymDdCUBYDosGsMkBDZ7Jmzgb7AhIQabhBx/c5LCNbNRxMXcWH AKEuZqah5lhwhvtTnliM1nMwutXuroWsj9o0lIpBgqEi/jFtNANzTxT9jUFSCZR/C4a1ulyG 3NKMndtLv6k5AZYh8lkXkGtFTpeBRafxFfD9lsRmEDdTGiqTmbrLmYtHcqspmUy7Dt6UhZX2 Jq62VTVe2/mU++p1xRjRHM/jeLoSOJA0zHrmeelLpyjJIY7az+0uZ2eTzMEhDW/CPxgmXCdg /dh+dtxTqjJNSQwhakfIKvC3JQyTCG0HkBzcctDzogoQ16FICqT3AKQIX+fYslOfvzG0XGpA vxUe/5gaU6M6zasnBs6W4g3PL5GrNw47oEje5TqB1I8nZmxkz5LiK/Upw/C3DIFYtM2isssC JLjRxTbGEyquHZksWvsrs5FB2mGXec5dDDMhN6SzuFYOK8A4cdNcF4z2ISap3+6EhVq1DPKs RLhZ5359f1Dy4NtrY3OFpd4WgC/KPLodeGy6Avomc9/XdDOFsbvtg0utVjsOTpND4YRQ9hak besssb9+kHOrJIacjr8sIbYMYVn6eGZfvtlAuiuIFZ0xSK9CdLRuT0d8GWGGLl1udJ65Pj/Y TCnacG1JOUna/0EyFJ7MyFhQgsgUYLpZaLdpAS4nfSGKj4Z9SfldNqH13vYXVt3Rx8yGa/VK 1HL4q61x9Viso5zKgcOBKhmD79GMVbTY/YaWOOrhwaILFuDow2kgaTjpyoC+DuQK3ijEeTG2 7znaCX6ViyPvPDv8IkEna105xEZNSMoy614NEcQ4MV/hD2GHXYLZ7ZVe4kPDpZP1Df+ztfkb TXKd3EvEjj5QS8CSxjn/dD/RU2KM4Ti4DsiyuABpCt4qhtaBb9sxJN68zt4ujJ5IGKlwvuqJ JcQ4BUc+/R3Lo5BHY4uCj6T2I+LBc82AloG403w1cLoa/rbKatfz2RvRWKhSgSee/wgVyz3y awdS3pJTQe1UyYd1Cqml2F9QHkkgd8k89nkgepjDjoSV0V3AdCsEMHCBtw= IronPort-HdrOrdr: A9a23:olaWDqsnIFa53s1lzcOxHe6x7skDbdV00zEX/kB9WHVpm6uj5q KTdZUgpHzJYVkqMk3I9ersBEDiexPhHPxOj7X5VI3KNGLbUQCTQ72Kg7GP/9SZIUzDytI= X-Talos-CUID: 9a23:Lr0k/229B+UkHROyTiiYTrxfIcIUTifP8lPpCUaDBl10eOaKFmeV5/Yx X-Talos-MUID: =?us-ascii?q?9a23=3AG4e/SwyXV4ncr/I5DtbQDTrfW1SaqLWPN34hzrE?= =?us-ascii?q?lgOidCC9RYhWAiSTtZ6Zyfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,149,1728943200"; d="scan'208";a="101418698" X-MGA-submission: =?us-ascii?q?MDG1caFFE+p98BtDVp223ibIn5miwCdMGzbeOp?= =?us-ascii?q?1DqhkgNAwmlLTBbRyVNX3/+/HzcBnPKsA/5vrOtA64x5GoqqL9qutOCt?= =?us-ascii?q?NbWf80VKa7KOla/1W7f2sMVYYXdH+sMZ3+UquYwRbb8XJcRIfyVpkhhF?= =?us-ascii?q?hulcaIqk51XzMxLvzq9XbC9A=3D=3D?= Received: from smtp1-g21.free.fr ([212.27.42.1]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 12 Nov 2024 23:03:13 +0100 Received: from fantasio.champelle (unknown [91.169.160.36]) by smtp1-g21.free.fr (Postfix) with ESMTP id A5066B0054E for ; Tue, 12 Nov 2024 23:03:12 +0100 (CET) Date: Tue, 12 Nov 2024 23:03:12 +0100 From: Nicolas FRANCOIS To: caml-list@inria.fr Message-ID: <20241112230312.6fcf76ab.nicolas.francois@free.fr> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.38; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: [Caml-list] Problem formalizing a representation Reply-To: Nicolas FRANCOIS X-Loop: caml-list@inria.fr X-Sequence: 19201 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Hi. I'd like to represent logical formulas for different logics. A logic is syntactically represented by atoms, and rules involving (at the very least) and, or, not, and possibly implies and equivalence... What differs between my logics is the atoms : - for propositional logic LP, atoms are just variables, and interpretations assign true or false to those variables ; - the there is a logic LQ, where atoms are of the form "variable=r" r being a rational number (there may later be atoms of the form "variable >= r", and so on). Then, with those logics, I can define new logics, for example, with LP, I can define atoms of the form a^+, meaning a was false and becomes true, or a^.1, meaning a was anything, but becomes true... So what I would like to do is create some parametrized types (or modules), taking atoms types as parameter, the methods for manipulating logics (for example, computing a normal form) being defined in those types (via modules, maybe ?), independently of the atoms types, and the code for manipulating atoms being inside each atom type. last but not least, certain methods would have to take two formulas from a logic, and build with them a formula of a new type. I don't know if I'm perfectly clear (as a matter of fact, I'm quite sure I'm not :-(, but maybe I gave you a sufficiently clear image of what I want to do for you to give me some tips... The problem is I've never used parametrized modules or objects, so I don't know how to start. If you could give me the initial thrust, maybe I could fly :-) Thank you for any tip, and sorry for my poor english. \bye -- Nicolas FRANCOIS | /\ http://nicolas.francois.free.fr | |__| X--/\\ We are the Micro$oft. _\_V Resistance is futile. You will be assimilated. darthvader penguin