Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Tim Rentsch <tr.17687@z991.linuxsc.com>
Newsgroups: comp.lang.c++
Subject: Re: Is this program OOP?
Date: Mon, 09 Dec 2024 09:35:20 -0800
Organization: A noiseless patient Spider
Lines: 36
Message-ID: <86plm0iwtj.fsf@linuxsc.com>
References: <63cd41709a703e4ac6d76427d53fe06d7ee8b8b1.camel@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Date: Mon, 09 Dec 2024 18:35:24 +0100 (CET)
Injection-Info: dont-email.me; posting-host="892b8ce7ac5e3c5327272332675a4c02";
	logging-data="544175"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19ceS84uK9NEUD7gmAL0KnLwAQ5R1K2TOU="
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.4 (gnu/linux)
Cancel-Lock: sha1:98NamX4ts6n5z9jMRUfWKhkNXxQ=
	sha1:hqHKpNap5ZGahMKzQQm1VO4K6pM=
Bytes: 2118

wij <wyniijj5@gmail.com> writes:

> Because I said:  C++ is the best language to model general
> problems.  So it is.
>
> Almost all are logical propositions.  Except those few keywords,
> such programwon't be recognized as a C++ program, instead of some
> kind of declarative language.
>
> Zebra puzzle is an interesting programing exercise because it is
> not too easy and also not too difficult.
>
> ------------
> /* Copyright is licensed by GNU LGPL, see file COPYING.   by I.J.Wang 2023
>
>   Example of solving the zebra puzzle by using propositional logic.
>   Zebra Puzzle https://en.wikipedia.org/wiki/Zebra_Puzzle
>
> [...]
> */
> #include <Wy.stdio.h>
> #include <Sc/PropExpr.h>
>
> using namespace Wy;
> using namespace Sc;
>
> [...]

You're asking a question that cannot be answered because much or
most of the program is in the two include files, which are not
shown.

As a general rule, when posting code there should be enough posted
so that readers can at least compile it.  In cases like the program
asked about here, what is posted should be enough to both compile
the program and run the generated executable.