How to use prolog rules in a java application
Embedded Prolog Interpreter/Compiler for Java
How can I convert an integer into its verbal representation? Is there a library or a class/function that I can use to convert an integer to it's verbal representation?  Example input:     4,567,788`   Example output:     Four million, Five hundred sixty-seven thousand, seven hundred eighty-eight What is the "continue" keyword and how does it work in Java? I saw this keyword for the first time and I was wondering if someone could explain to me what it does.   What is the continue keyword? How does it work? When is it used? PHP "header (location)" inside IFRAME, to load in _top location? I have this below code where i am trying to first search an account name and on hit button it displays the result set.  On the button click i am also loading an child component which is displaying the id of the record.  I need the child component should get displayed once i click on the record.  How can i achieve this -   Parent Component -   &lt;aura:component controller="SimpleAccountController"&gt;     &lt;aura:attribute name="account" type="account[]"/&gt;     &lt;ui:outputText aura:id="outName" value="" class="text"/&gt;     &lt;ui:inputText aura:id="name" label="Enter Name:" placeholder="Your Name" /&gt;     &lt;ui:button aura:id="button" buttonTitle="Click to see what you put into the field" class="button" label="Click me" press="{!c.getInput}"/&gt;     &lt;aura:iteration var="acc" items="{!v.account}"&gt;             &lt;a onclick="{!c.accountselected}" data-recId="{!acc.Id}"&gt;         &lt;p&gt;{!acc.Name} : {!acc.Type} : {!acc.Industry} : {!acc.Rating}&lt;/p&gt;             &lt;/a&gt;         &lt;c:HelloWorkdChildCmp selectedaccount="{!acc.Id}" /&gt;     &lt;/aura:iteration&gt; &lt;/aura:component&gt;   COntroller -   ({     getInput : function(cmp, evt) {         var myName = cmp.find("name").get("v.value");         var myText = cmp.find("outName");         var greet = "Hi, " + myName;         myText.set("v.value", greet);         var action = cmp.get("c.seaAcc");         action.setParams({ "s" : myName });         action.setCallback(this, function(response) {             var state = response.getState();             if (state === "SUCCESS") {                 cmp.set("v.account", response.getReturnValue());                 //alert("From server: " + response.getReturnValue());             }         });         $A.enqueueAction(action);     },      accountselected : function(cmp, evt) {        console.log(evt.currentTarget.getAttribute("data-recId")) ;     }  })   Child component -   &lt;aura:component &gt;     &lt;aura:attribute name="selectedaccount" type="String"/&gt;     &lt;div&gt;Id: {!v.selectedaccount}&lt;/div&gt; &lt;/aura:component&gt; If $(1), (log_yx), (log_zy), (-15log_xz)$ are in Arithmetic Progression... If $(1), (log_yx), (log_zy), (-15log_xz)$ are in AP then...   (A)$z^3=x$   (B)$x=y^{-1}$   (C)$z^{-3}=y$   (D)$x=y^{-1}=z^3$   (Multiple answers may be correct)   I tried many approaches, one of them being: $1+log_zy=2log_yx$ $log_zz+log_zy=log_yx^2$ $log_z(yz)=log_yx^2$ But the fact that the bases are different is causing the main problem as I don't know how to proceed further. It would be great if anybody could give me a hint for solving such questions. Start a longtable in Latex at top of next page I want to use the longtable environment for a table. However, I do not know how to place it at the top of the next page, as I can do with the table environment. Do you know how to do it? How to work with "FIFO" in C# .NET? I have been taught to use the if I had form in conditional clauses referring to the past:     If the president had asked me, I would have told him the same thing.   As far as I can tell though, the would have construct is sometimes used in conditional clauses as well, so it wouldn't be incorrect to say:     If the president would have asked me, I would have told him the same thing.   What is the difference between the two and the proper use of the latter? Let $\mathbb S = \varnothing$.      Then from the definition: $ \bigcap \mathbb S = \left\{{x: \forall X \in \mathbb S: x \in X}\right\}$      Consider any $x \in \mathbb U$.      Then as $\mathbb S = \varnothing$, it follows that: $\forall X \in \mathbb S: x \in X$ from the definition of vacuous truth.      It follows directly that: $\bigcap \mathbb S = \left\{{x: x \in \mathbb U}\right\}$      That is: $\bigcap \mathbb S = \mathbb U$. ()   Proofwiki uses the above "proof" to "prove" that intersection of the empty set is the whole universe.   My question is, is the use of vacuous truth really allowed in axiomatic set theory, like ZFC? I don't see how the use of vacuous truth is justified.   The next problem I can think of is that we cannot really "define" the elements of empty set (to my knowledge, there is no element in empty set) so how can we then prove as the above proof did? This seems to contradict the use of vacuous truth.  And of course, there is issue of using the whole universe as a set, and I don't think this is allowed.... (Maybe proof above is using a different axiomatic set theory, as I am using ZF-minded thoughts...) apt: how to be sure that a specific package gets installed/updated from specific repository and not from the default one? How do I set up a global locale for the computer?  I have recently installed Kubuntu 14.04LTS in english but since I am in Spain, I chose Spain as a country and then changed locale options so that I get all country specific configuration such as digit grouping, decimal separator, date format, etc. I also added the spanish language.  Now all applications complain that locale is wrong. check-language-support tells me I'm using en_ES.UTF-8 as system's locale, and that locale is indeed wrong, there is no locale for english language in Spain.  I tried using Kubuntu's country/region &amp; language settings but it doesn't fix it. I tried using export LANG=en_GB.UTF-8 and export LC_ALL=en_GB.UTF-8 and then sudo dpkg-reconfigure locales and that caused check-language-support to say that I now have a correct configuration but if it is, it's only in that konsole session. This problem also prevents konsole from showing unicode characters and I cannot use dead keys or enter any 'international character' such as ñ or ç (those work on other applications such as Firefox, that I'm using to post this question).  So the question is: How do I set up a global locale for the computer?  This is not a bug report, I will probably reinstall my computer eventually if I can't fix it. But I really want to know how I can perform this REALLY basic task.  Thank you.  $ check-language-support perl: warning: Setting locale failed. perl: warning: Please check that your locale settings:         LANGUAGE = "en:es:en",         LC_ALL = (unset),         LC_PAPER = "en_ES.UTF-8",         LC_ADDRESS = "en_ES.UTF-8",         LC_MONETARY = "en_ES.UTF-8",         LC_NUMERIC = "en_ES.UTF-8",         LC_TELEPHONE = "en_ES.UTF-8",         LC_IDENTIFICATION = "en_ES.UTF-8",         LC_MEASUREMENT = "en_ES.UTF-8",         LC_TIME = "en_ES.UTF-8",         LC_NAME = "en_ES.UTF-8",         LANG = "en_ES.UTF-8"     are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_COLLATE to default locale: No such file or directory hunspell-en-ca libreoffice-help-en-gb libreoffice-l10n-en-gb libreoffice-l10n-en-za mythes-en-au wspanish  $ cat /etc/default/locale LANG="en_US.UTF-8" LC_NUMERIC="es_ES.UTF-8" LC_TIME="es_ES.UTF-8" LC_MONETARY="es_ES.UTF-8" LC_PAPER="es_ES.UTF-8" LC_NAME="es_ES.UTF-8" LC_ADDRESS="es_ES.UTF-8" LC_TELEPHONE="es_ES.UTF-8" LC_MEASUREMENT="es_ES.UTF-8" LC_IDENTIFICATION="es_ES.UTF-8"   $ locale locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory LANG=en_ES.UTF-8 LANGUAGE=en:es:en LC_CTYPE="en_ES.UTF-8" LC_NUMERIC=en_ES.UTF-8 LC_TIME=en_ES.UTF-8 LC_COLLATE="en_ES.UTF-8" LC_MONETARY=en_ES.UTF-8 LC_MESSAGES="en_ES.UTF-8" LC_PAPER=en_ES.UTF-8 LC_NAME=en_ES.UTF-8 LC_ADDRESS=en_ES.UTF-8 LC_TELEPHONE=en_ES.UTF-8 LC_MEASUREMENT=en_ES.UTF-8 LC_IDENTIFICATION=en_ES.UTF-8 LC_ALL= $ update-locale perl: warning: Setting locale failed. perl: warning: Please check that your locale settings:         LANGUAGE = "en:es:en",         LC_ALL = (unset),         LC_PAPER = "en_ES.UTF-8",         LC_ADDRESS = "en_ES.UTF-8",         LC_MONETARY = "en_ES.UTF-8",         LC_NUMERIC = "en_ES.UTF-8",         LC_TELEPHONE = "en_ES.UTF-8",         LC_IDENTIFICATION = "en_ES.UTF-8",         LC_MEASUREMENT = "en_ES.UTF-8",         LC_TIME = "en_ES.UTF-8",         LC_NAME = "en_ES.UTF-8",         LANG = "en_ES.UTF-8"     are supported and installed on your system. perl: warning: Falling back to the standard locale ("C"). After installing Windows 10 on my  it took my user name 'Jeremy' and created a user folder named C:\Users\jerem.  I want to rename the folder C:\Users\Jeremy.  does not work. There are a couple of reasons.   OneDrive is now a fully integrated part of the OS, and it completely breaks.  A find/replace in the registry seems to work, but it's hard to be confident in that approach. When the computer is rebooted, the TabletInputService writes a TextHarvester.dat file to the old user profile location (creating it if needed). This makes it impossible to keep the folder deleted. An old  doesn't work. This issue also causes an error message to pop up every time the computer boots. "Stack Overflow" showing up on hamburger menu for all sites to link to /questions Why does it say "Stack Overflow" instead of the site name? A cardinal $\kappa$ such that $2^{\lambda}<\kappa$ for all $\lambda<\kappa$ is regular? A cardinal $\kappa$ such that $2^{\lambda}&lt;\kappa$ for all $\lambda&lt;\kappa$ is regular?  I would appreciate very much an answer Uncountable $\sigma$-algebra I'm stuck on the following problem (Source: Real Analysis for Graduate Students; Exercise 2.6; ):     Suppose $\mathcal A$ is a $\sigma$-algebra with the property that whenever $A \in \mathcal A$, there exists $B, C \in \mathcal A$ with $B \cap C = \emptyset$, $B \cup C = A$, and neither $B$ nor $C$ is empty. Prove that $\mathcal A$ is uncountable.   I think there is the added assumption that this is only true for $A \in \mathcal A$ having at least two elements, so it doesn't hold for singletons and the emptyset?  I tried to show this by way of contradiction and say that $\mathcal A = \{A_k\}$ is countable, but I didn't see how this could get me to a contradiction.  The other approach I tried was to look at $X = B_1 \cup C_1$ where $B_1 \cap C_1 = \emptyset$, then look at $B_1 = B_2 \cup C_2$ where $B_2 \cap C_2 = \emptyset$ and so on. If I look at the $C_k$'s they are pairwise disjoint and I either have a finite number of them or an infinite number of them in which case I've created a countable sequence of pairwise disjoint nonempty elements of $\mathcal A$. This path looked promising, but I couldn't see what to do next. Any ideas?  As a secondary question: I think this result is supposed to be used to show that if $\mathcal A$ is a $\sigma$-algebra with infinitely many elements, then it's uncountable, but I wasn't able to show that the property mentioned above (the one I'm trying to show) was satisfied in this case. What packages will let me use Cyrillic characters in math mode? Note I'm not actually planning on writing any, for instance, Russian prose or even any Russian words. It's just that, on paper, I've always had the habit of denoting sets by uppercase roman letters, sets of sets by script letters and, when the need arises, sets of sets of sets by uppercase Cyrillic letters. Is there some package I can load which will allow me to typeset (in LaTeX math mode) Cyrillic letters much as I would typeset Greek letters? ie. $\Zhe$ to produce an uppercase zhe. Thanks! Android: View.setID(int id) programmatically - how to avoid ID conflicts? Is there a way to add a timer to a Beamer presentation? How do I get the next element in HTML using JavaScript?  Suppose I have three &lt;div&gt;s and I get a reference to one in JavaScript code, I want to get which is the next &lt;div&gt; and which is the previous. Windows 7, any way to sort folders and files all mixed together? Is there a way to sort folders and files by their name all mixed together in Windows 7?  It would be easier to understand if you .  I want my folders and files arranged like the BEFORE situation of the first screenshot.  If there is no way to do that with Windows Explorer, is there any file management programs that I should try?  I've already tried Total Commander.